(0 12 8 6 3)(1 14 5 4 2)(7 11 9)(10 15 13)
ALLOWS (11/8)-SEQUENCE
1: (0 2 3)
(0)(1 14 5 4 2 12 8 6 3)(7 11 9)(10 15 13)
2: (5 12 14)
(0)(1 14 8 6 3)(2 12 4)(5)(7 11 9)(10 15 13)
3: (10 15 13)
(0)(1 14 8 6 3)(2 12 4)(5)(7 11 9)(10)(13)(15)
4: (1 14 8)
(0)(1 6 3)(2 12 4)(5)(7 11 9)(8)(10)(13)(14)(15)